<?php session_start(); //  We start a session to be able to modificate the session variables if it's necessary. Iniciamos sesion para poder modificar las variables de sesion.
if($_SESSION['state']==1) // If the session variable 'state' is equal to 1, it shows a welcome message. Si la variable de sesion "state" es igual a 1 se mostrará por pantalla un mensaje de bienvenida.
{
	$name=$_SESSION['user'];
	echo "<label id='welcome'>Welcome Mr. $name</label>";
/*	header("Location: ".$_SERVER[HTTP_REFERER);  */
}

else if ($_SESSION['state']==2)
{
/*echo '<p style="color: red;">Incorrect user/password</p>';*/
echo "<label id='notwelcome'>Incorrect user/password</label>";
$_SESSION = array(); // Limpiamos las variables de sesion que hayamos inicializado o definido
session_destroy(); // Destruimos la sesión que haya estado presente hasta ahora
}
?>